大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (5th : 1981 : University of Michigan) 的图书(共6112本)

Electronic Government [electronic resource] : 5th International Conference, EGOV 2006, Krak贸w, Poland, September 4-8, 2006. Proceedings

0
索取号:
作者:Wimmer、 Maria A.、Scholl、 Hans J.、Gr枚nlund、 脜ke.、Andersen、 Kim Viborg.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

0
索取号:
作者:L枚we、 Welf.、S眉dholt、 Mario.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号:
作者:Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Natural Language Processing [electronic resource] : 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings

0
索取号:
作者:Salakoski、 Tapio.、Ginter、 Filip.、Pyysalo、 Sampo.、Pahikkala、 Tapio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings

0
索取号:
作者:Kunz、 Thomas.、Ravi、 S. S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

0
索取号:
作者:Misra、 Jayadev.、Nipkow、 Tobias.、Sekerinski、 Emil.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

0
索取号:
作者:Borwein、 Jonathan M.、Farmer、 William M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

0
索取号:
作者:Mazzola、 Guerino.、Milmeister、 G茅rard.、Weissmann、 Jody.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers

0
索取号:
作者:Savac谋、 F. Acar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

0
索取号:
作者:Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

36th Hemophilia Symposium Hamburg 2005 [electronic resource]

0
索取号:
作者:Scharrer、 Inge.、Schramm、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

0
索取号:
作者:Vassiliadis、 Stamatis.、Wong、 Stephan.、H盲m盲l盲inen、 Timo D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Smart Graphics [electronic resource] : 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006. Proceedings

0
索取号:
作者:Butz、 Andreas.、Fisher、 Brian.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithmic Number Theory [electronic resource] : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

0
索取号:
作者:Hess、 Florian.、Pauli、 Sebastian.、Pohst、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Image and Video Retrieval [electronic resource] : 5th International Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006. Proceedings

0
索取号:
作者:Sundaram、 Hari.、Naphade、 Milind.、Smith、 John R.、Rui、 Yong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biomedical Simulation [electronic resource] : Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings

0
索取号:
作者:Harders、 Matthias.、Sz茅kely、 G谩bor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类